Mutual exclusion - PDFSEARCH.IO - Document Search Engine

Mutual exclusion
Results: 185

#	Item
51	Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav IBM Research Add to Reading List Source URL: www.cs.technion.ac.il Language: English Concurrency Linearizability Algorithm Tree traversal Mutual exclusion Non-blocking algorithm Concurrent data structure Parallel computing Priority queue Concurrency control Computing Data management
52	Automatic Synthesis of Deterministic Concurrency Veselin Raychev1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {veselin.raychev,martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-08-20 04:50:41 Concurrent computing Thread Synchronization Deadlock Parallel computing Algorithm Lock Mutual exclusion Computer programming Concurrency Computing Computer science
53	High Performance Dynamic Lock-Free Hash Tables and List-Based Sets Maged M. Michael IBM Thomas J. Watson Research Center P.O. Box 218 Yorktown Heights NYUSA Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2004-08-02 14:09:15 Computer programming Linked list Hash table Trie Mutual exclusion Non-blocking algorithm Compare-and-swap Software transactional memory Tree traversal Concurrency control Computing Data management
54	Dynamic Task Allocation in Asynchronous Shared Memory Dan Alistarh∗ James Aspnes† MIT Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-30 10:34:00 R-tree Computing B-tree Algorithm Mutual exclusion Tango tree Splay tree Graph theory Binary trees Data management
55	Automated Concurrency-Bug Fixing Guoliang Jin Abstract Wei Zhang Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2012-09-10 16:24:23 Computer programming Lock Monitor Thread Software bug Non-blocking algorithm Mutual exclusion Deadlock Linearizability Concurrency control Computing Concurrent computing
56	Automated Atomicity-Violation Fixing ∗ Guoliang Jin Linhai Song Wei Zhang Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-07-05 11:53:12 Data management Lock Software bug Deadlock Linearizability Linux kernel Mutual exclusion Parallel computing Debugging Concurrency control Computing Software
57	An Almost NonBlocking Stack Hans-J. Boehm HP Labs © 2004 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice Add to Reading List Source URL: hboehm.info Language: English - Date: 2014-02-06 19:37:32 Computer programming Mutual exclusion Non-blocking algorithm Hazard pointer Pointer ABA problem Thread Stack X86-64 Computing Concurrency control Software engineering
58	PDF Document Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2001-08-05 10:53:02 Concurrent computing Thread Operating system Microkernel Process Kernel Mach Message passing Mutual exclusion Computing Computer architecture System software
59	Preface Introduction Most nontrivial programs involve some form of IPC or Interprocess Communication. This is a natural effect of the design principle that the better approach is to design an application as a group of s Add to Reading List Source URL: www.kohala.com Language: English - Date: 2008-02-07 15:01:02 Unix Parallel computing Inter-process communication POSIX Thread Shared memory Advanced Programming in the Unix Environment Computer network programming Mutual exclusion Computing Concurrent computing Computer programming
60	The Future of Concurrency in C++ Anthony Williams Just Software Solutions Ltd http://www.justsoftwaresolutions.co.uk Add to Reading List Source URL: www.accu.org Language: English - Date: 2008-04-14 09:54:34 Concurrent computing Threads C++ C++11 Lock Futures and promises Mutual exclusion Multithreading Monitor Computing Concurrency control Computer programming